Blar i HVL Open på forfatter "Requeno Jarabo, Jose Ignacio"
-
Coverage visualization and analysis of net inscriptions in coloured Petri net models
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker (Peer reviewed; Journal article, 2023)High-level Petri nets such as coloured Petri nets (CPNs) are characterized by the combination of Petri nets and a high-level programming language. In CPNs and CPN Tools, the inscriptions (e.g. arc expressions and guards) ... -
Hardware-Assisted Online Data Race Detection
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I; Stolz, Volker (Chapter; Peer reviewed, 2021)Dynamic data race detection techniques usually involve invasive instrumentation that makes it impossible to deploy an executable with such checking in the field, hence making errors difficult to debug and reproduce. This ... -
MC/DC Test Cases Generation Based on BDDs
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker (Chapter; Peer reviewed, 2021)We present a greedy approach to test-cases selection for single decisions to achieve MC/DC-coverage of their Boolean conditions. Our heuristics take into account “don’t care” inputs through three-valued truth values that ...